High-ranking Indonesian police official sentenced to death for murdering fellow officer